(deftemplate singleVar
	(slot single)
)

(watch all)
(reset)

(defrule rule_1
  (foo ?X)
  (test (> ?X  3))
  =>
  (printout t "foo value is greater than 3" crlf)	
)

(defrule rule_1
  (singleVar.single ?Y)
  (test (> ?Y  3))
  =>
  (printout t "singleVar.single value is greater than 3" crlf)	
)

(assert 
	( foo 5)
)

;(assert (
;	singleVar 
;		(single 4)
;	)
;)

;(printout t "test output is : " (test (+ 2 2)) crlf)

(run)